1. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده : Hedman, Shawn.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
2. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده : Hedman, Shawn
کتابخانه: (طهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
3. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
4. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
5. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
6. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
7. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده : edited by M. M. Richter ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
8. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edite by M. M. Richter, ... ]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
9. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
10. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
11. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
12. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
13. Hybrid logic and its proof-theory
پدیدآورنده : Brauner, Torben.
کتابخانه: (قم)
موضوع :
رده :
QA
9
.
54
.
B7
2011
14. Hybrid logic and its proof-theory
پدیدآورنده : Brauner, Torben
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
B73H9
15. Proof Theory of Modal Logic
پدیدآورنده : edited by Heinrich Wansing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
16. Proof theory and algebra in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
17. Reductive logic and proof-search : proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P965R4
18. Reductive logic and proof-search: proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P87
2004
19. The Semantics and Proof Theory of the Logic of Bunched Implications
پدیدآورنده : by David J. Pym.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General).
